Asynchronous Parallel Programming in Pei
نویسنده
چکیده
This paper presents a transformational approach for the derivation of asynchronous parallel programs. Transformation rules are based on a theory, called Pei. This theory includes the deenitions of problems , programs and transformation rules. It is founded on the simple mathematical concepts of multiset and of an equivalence between their representations as data elds. Program transformations are founded on this equivalence and deened from a reenement relation. This paper is illustrated by the example of the shortest path problem.
منابع مشابه
Deterministic Reductions in an Asynchronous Parallel Language
Reduction operations are a common and important feature in many parallel programming models. In this paper, we present a new reduction construct for Concurrent Collections (CnC). CnC is a deterministic, asynchronous parallel programming model in which data production and reduction can overlap. While reductions are most frequently incorporated in synchronous contexts where all data is available ...
متن کاملDealing with Time Modelling Problems in Parallel Models of Asynchronous Computer Architectures
Recently, there has been a resurgence of interest in asynchronous design techniques. The research activity in this area has pointed to the need for suitable techniques for modelling and simulating asynchronous systems. The occam programming language allows the rapid development of parallel simulation models of asynchronous systems but its distributed nature introduces time modelling problems. T...
متن کاملAsynchronous Large-Scale Graph Processing Made Easy
Scaling large iterative graph processing applications through parallel computing is a very important problem. Several graph processing frameworks have been proposed that insulate developers from low-level details of parallel programming. Most of these frameworks are based on the bulk synchronous parallel (BSP) model in order to simplify application development. However, in the BSP model, vertic...
متن کاملPGAS in the Message-Driven Execution Model
Asynchrony is increasingly important for high performance on modern parallel machines. A common approach to providing asynchrony in PGAS languages is to add additional language constructs to support asynchronous execution. In this paper we describe Multiphase Shared Arrays (MSA), a restricted PGAS programming model that takes the opposite approach, layering PGAS semantics over a fundamentally a...
متن کاملThe F# Asynchronous Programming Model
We describe the asynchronous programming model in F#, and its applications to reactive, parallel and concurrent programming. The key feature combines a core language with a non-blocking modality to author lightweight asynchronous tasks, where the modality has control flow constructs that are syntactically a superset of the core language and are given an asynchronous semantic interpretation. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997